Anderson's deontic logic and relevant implication.

Deontic Logic

The chapter is organized in ten sections, each of them presenting a fundamental issue or problem in the area of deontic logic. Section 10.2 is about the issue of norms and truth, i.e., whether norms should have truth value. It opposes deontic logic viewed as a logic of normative propositions to deontic logic viewed as a logic of imperatives. Section 10.3 deals with the problem of contrary-to-du...

Imperatives and Deontic Logic

Deontic logic has so far been almost exclusively interpreted by a possible worlds semantics and ideality or preference relations between the worlds. In distinguishing itself from attempts at a logic of norms or logic of imperatives, deontic logic has portrayed its formulas as ‘deontic propositions’, true or false statements about what is obligatory, permitted or forbidden according to some unsp...

Communication and Deontic Logic

In a normative system many of the obligations, prohibitions and permissions exist as a result of communication with users and/or other systems. In this paper we will discuss the role of illocutionary logic and deontic logic in modelling these communication processes and the resulting norms. The combination of illocutionary and deontic logic can be used to reason about communication structures. ...

Deontic Logic and Preference Change

The normative realm involves deontic notions such as obligation or permission, as well as information about relevant actions and states of the world. This mixture is not static, given once and for all. Both information and normative evaluation available to agents are subject to changes with various triggers, such as learning new facts or accepting new laws. This paper explores models for this s...

Normative Conflicts and Deontic Logic